Con ict-free normative agents using assumption-based argumentation

Argumentation can serve as a useful abstraction for various agent activities and in particular for agent reasoning. In this paper we further support this claim by mapping a form of normative BDI agents onto assumption-based argumentation. By way of this mapping we equip our agents with the capability of resolving con icts amongst norms, beliefs, desires and intentions. This con ict resolution is achieved by using the agent's preferences, represented in a variety of formats. We illustrate the mapping with examples and use an existing computational tool for assumption-based argumentation, the CaSAPI system, to animate conict resolution within our agents.